Are Practitioners Writing Contracts?
نویسنده
چکیده
For decades now, modular design methodologies have helped software engineers cope with the size and complexity of modern-day industrial applications. To be truly effective though, it is essential that module interfaces be rigorously specified. Design by Contract (DBC) is an increasingly popular method of interface specification for object-oriented systems. Many researchers are actively adding support for DBC to various languages such as Ada, Java and C#. Are these research efforts justified? Does having support for DBC mean that developers will make use of it? We present the results of an empirical study measuring the proportion of assertion statements used in Eiffel contracts. The study results indicate that programmers using Eiffel (the only active language with built-in support for DBC) tend to write assertions in a proportion that is higher than for other languages.
منابع مشابه
Typological Description of Written Formative Feedback on Student Writing in an EFL Context
This study is a typological description of written formative feedback in an EFL context in Iran. Twenty M.A. students of TEFL participated in the study. They were required to summarize a scholarly article in each session on which the instructor would provide written corrective feedback (CF). Written formative comments were extracted, coded, and categorized into various types, such as asking for...
متن کاملA Methodology for Writing Class Contracts
One of the principles of Design by Contract is that contracts for software components must be written in a declarative way, using a formal, mathematically founded notation. When we apply the Design by Contract methodology in a naive and straightforward way, we risk ending up with unwanted duplication. In this paper, we describe a methodology for writing class contracts that avoids specification...
متن کاملContracts: An Introduction to the Skills of Legal Writing and Analysis
Contracts is a computer program designed for first year undergraduates studying Obligations in Glasgow University's School of Law, written by Paul Maharg and Professor Joe Thomson. It aims to improve students' written work by • introducing the skills of legal problem-solving • illustrating the major stages of the writing process • asking students to analyse their own writing processes • present...
متن کاملInvestigating Dynamic Writing Assessment in a Web 2.0 Asynchronous Collaborative Computer-Mediated Context
This study aims at investigating the effect of dynamic assessment (DA) on L2 writing achievement if applied via blogging as a Web 2.0 tool, as well as examining which pattern of interaction is more conducive to learning in such an environment. The results of the study indicate that using weblogs to provide mediation contributes to the enhancement of the overall writing performance, vocabulary a...
متن کاملInformation Systems Development Contracts: An Exploratory Study of Australian Legal Practitioners' and Information Systems Professionals' Perceptions
IS professionals are primarily concerned with the development of a project to meet the goals of a client. Unfortunately, IS professional do not always pay close attention to the contract or to its management and are often unaware of the legal implications of the contracts to which they are assenting. Legal advice can be sought during pre-contractual processes to help ensure that the contract me...
متن کامل